A Design-Oriented Specification Language for defining software requirements
نویسندگان
چکیده
منابع مشابه
Two-Level Grammar as an Object-Oriented Requirements Specification Language
Two-Level Grammar (TLG) is proposed QS an object-oriented requirements specification language with Q natural language (NL) style but suficiently formal to allow automatic transformation of the TLG specification into formal specifications in VDM++, an object-oriented version of the Vienna Development Method. The VDM++ specification may be further transformed into JavaTM code or integrated with t...
متن کاملRequirements Specification as Executable Software Design – A Behavior Perspective
Today’s application development requires agile project structures and active involvement of concerned stakeholders. Transforming of representations from requirements specification to executable design models hinders seamless roundtrip engineering and dynamic adaptation. Subject-oriented software processes allow fine-grained modeling and subsequent execution of mutually adjusted stakeholder beha...
متن کاملAutomatic Construction of Object Oriented Design Models [UML Diagrams] from Natural Language Requirements Specification
Application of natural language understanding to requirements gathering remains a field that has only limited explorations so far. This paper presents an approach to extract the object oriented elements of the required system. This approach starts with assigning the parts of speech tags to each word in the given input document. Further, to resolve the ambiguity posed by the pronouns, the pronou...
متن کاملSoftware Requirements Specification
Unified University Inventory System (UUIS), is an inventory system created for the Imaginary University of Arctica (IUfA) to facilitate its inventory management, of all the faculties in one system. Team 1 elucidates the functions of the system and the characteristics of the users who have access to these functions. It shows the access restrictions to different functionalities of the system prov...
متن کاملDefining a Formal Coalgebraic Semantics for The Rosetta Specification Language
Rosetta is a systems level design language that allows algebraic specification of systems through facets. The usual approach to formally describe a specification is to define an algebra that satisfies the specification. Although it is possible to formally describe Rosetta facets with the use of algebras, we choose to use the dual of algebra, i.e. coalgebra, to do so. Coalgebras are particularly...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software Engineering: Theories and Practices
سال: 2016
ISSN: 2377-3316
DOI: 10.21174/josetap.v1i1.30